Changes to the Makefile to make it easier to select the platform