issue #4058: Reverts cocos2dx.ini.