diff --git a/repos/mml/ports/ciao-ip.hash b/repos/mml/ports/ciao-ip.hash
index 92baf9e66b..efa66f0222 100644
--- a/repos/mml/ports/ciao-ip.hash
+++ b/repos/mml/ports/ciao-ip.hash
@@ -1 +1 @@
-a192914448beb4760a99f61d3833a799ae86bd6d
+d96f641eb4bafe6b60e293708b99fbe029d642f3
diff --git a/repos/mml/ports/ciao-ip.port b/repos/mml/ports/ciao-ip.port
index a189d01324..0f68ba57c0 100644
--- a/repos/mml/ports/ciao-ip.port
+++ b/repos/mml/ports/ciao-ip.port
@@ -6,7 +6,7 @@ URL(ciao-ip) := git@ess-git.inf.uos.de:software/ciao-ip.git
 REV(ciao-ip) := master
 DIR(ciao-ip) := src/lib/ciao-ip
 
-
+CC_OPT += "--target x86_64-linux-gnu"
 #ifndef CIAO_IP_CONFIG
 # CIAO_IP_CONFIG = $(realpath $(dir $(PORT)))/.ciao-ip-config
 #endif
@@ -140,6 +140,6 @@ DIR_CONTENT(include/ciao-ip/ipstack/arp/ipv4) +=  src/lib/ciao-ip/build/header/i
 DIR_CONTENT(include/ciao-ip/ipstack/arp/ipv4) +=  src/lib/ciao-ip/build/header/ipstack/arp/ipv4/IPv4_ARP_Send_Receive.ah
 
 headers:
-	make -C src/lib/ciao-ip header
+	ACXXFLAGS=$(CC_OPT) make -C src/lib/ciao-ip header
 
 _dirs: headers
\ No newline at end of file