diff --git a/os/include/loader_session/loader_session.h b/os/include/loader_session/loader_session.h
index 5f4c37153d..72b8c12a0f 100644
--- a/os/include/loader_session/loader_session.h
+++ b/os/include/loader_session/loader_session.h
@@ -48,6 +48,9 @@ namespace Loader {
 		{
 			int width, height;
 			int buf_x, buf_y;
+
+			View_geometry(): width(0), height(0), buf_x(0), buf_y() {}
+			View_geometry(int w, int h, int x, int y): width(w), height(h), buf_x(x), buf_y(y) {}
 		};
 
 		typedef Genode::Rpc_in_buffer<64>  Name;
diff --git a/os/src/server/loader/nitpicker.h b/os/src/server/loader/nitpicker.h
index eccbe8919b..792db573c0 100644
--- a/os/src/server/loader/nitpicker.h
+++ b/os/src/server/loader/nitpicker.h
@@ -270,11 +270,11 @@ namespace Nitpicker {
 			 */
 			Loader::Session::View_geometry loader_view_geometry()
 			{
-				Loader::Session::View_geometry result = {
+				Loader::Session::View_geometry result(
 					min(_proxy_view.w(), _fb_width),
 					min(_proxy_view.h(), _fb_height),
 					_proxy_view.buf_x(),
-					_proxy_view.buf_y() };
+					_proxy_view.buf_y());
 
 				return result;
 			}