Get rid of platform.cpp/platform.fdh/plaform.h