changed "extra" to "mount_options" for Vagrant v1.3