Using generic iphonesimulator SDK to try and make Travis happy