remove some platform specific code