I verified these options run on my precise machine.