Another platform workaround