Scons: PlatformTools: only remove platform.hpp if it points to the wrong device