Fixed issue where mono45 platform string had been replaced with KRE_MONO45