Makefile: make platform is the default target.