diff --git a/core/src/gui/style.cpp b/core/src/gui/style.cpp
index b20361a6..7d3e486f 100644
--- a/core/src/gui/style.cpp
+++ b/core/src/gui/style.cpp
@@ -46,7 +46,7 @@ namespace style {
 }
 
 namespace ImGui {
-    void LeftLabel(char* text) {
+    void LeftLabel(const char* text) {
         float vpos = ImGui::GetCursorPosY();
         ImGui::SetCursorPosY(vpos + GImGui->Style.FramePadding.y);
         ImGui::Text(text);
diff --git a/docker_builds/ubuntu_hirsute/do_build.sh b/docker_builds/ubuntu_hirsute/do_build.sh
index 0a745cef..1dd04aa3 100644
--- a/docker_builds/ubuntu_hirsute/do_build.sh
+++ b/docker_builds/ubuntu_hirsute/do_build.sh
@@ -19,7 +19,7 @@ cd SDRPlusPlus
 mkdir build
 cd build
 cmake .. -DOPT_BUILD_BLADERF_SOURCE=ON -DOPT_BUILD_LIMESDR_SOURCE=ON -DOPT_BUILD_SDRPLAY_SOURCE=ON -DOPT_BUILD_NEW_PORTAUDIO_SINK=ON -DOPT_BUILD_M17_DECODER=ON
-make -j2
+make VERBOSE=1 -j2
 
 cd ..
 sh make_debian_package.sh ./build 'libfftw3-dev, libglfw3-dev, libglew-dev, libvolk2-dev, librtaudio-dev'
\ No newline at end of file