As Makefile may be machine specific, moving it to Makefile.example