diff -Naur a/hack/make/.dockerinit b/hack/make/.dockerinit --- a/hack/make/.dockerinit 2015-08-11 18:35:27.000000000 +0200 +++ b/hack/make/.dockerinit 2015-08-12 18:14:25.743452565 +0200 @@ -29,5 +29,6 @@ exit 1 fi +/usr/bin/strip -s $DEST/dockerinit-$VERSION # sha1 our new dockerinit to ensure separate docker and dockerinit always run in a perfect pair compiled for one another export DOCKER_INITSHA1=$($sha1sum "$DEST/dockerinit-$VERSION" | cut -d' ' -f1)