Support for "make -f PLATFORM.gmk testrun".
New makefile xci6ll.gmk provides way to compile the MPS one file at a time on OS X.