Platform choice in Makefile now works properly.