Fixed platform file to make it play nice with Eclipse