revert using $PLATFORM here