Fix for iOS AOT problems raised by Coops