Updated to reflect move of Makefile into platform/