Made the platform makefiles build cleanly with HelloWorld.