fixing configure_vagrant