/* if no $PLATFORM is defined in the Makefile,
 * default to including this file
 */