diff --git a/src/lib/remote_rom/backend/nic_ip/backend.cc b/src/lib/remote_rom/backend/nic_ip/backend.cc
index 7740031..756ab5c 100644
--- a/src/lib/remote_rom/backend/nic_ip/backend.cc
+++ b/src/lib/remote_rom/backend/nic_ip/backend.cc
@@ -150,8 +150,7 @@ class Remote_rom::Packet_base : public Ethernet_frame, public Ipv4_packet
 		/**
 		 * Placement new.
 		 */
-		void * operator new(Genode::size_t size, void* addr) {
-			return addr; }
+		void * operator new(__SIZE_TYPE__ size, void* addr) { return addr; }
 
 } __attribute__((packed));