phpstorm: small tweaks in phpstorm64.vmoptions