.VMOPTIONS file extension