@LarsMachiels There was a problem with some versions of the arduino ide that caused the rebooting. You may have to revert to an older version, I am using 1.6.9 and I have compiled the gateway without issue but some have had to go back to 1.6.7 See this post for more details.