Change the android-x86 optimization setting according to a forum post