updates for webwork vagrant box