Fix ubuntu 18.04 spinning up on default vagrant up (#2285)
Fix ubuntu 18.04 spinning up on default vagrant up (#2285)


RCOS-Grading-Server/HWserver,Submitty/Submitty,RCOS-Grading-Server/HWserver,RCOS-Grading-Server/HWserver,Submitty/Submitty,Submitty/Submitty,Submitty/Submitty,RCOS-Grading-Server/HWserver,Submitty/Submitty,Submitty/Submitty,RCOS-Grading-Server/HWserver,RCOS-Grading-Server/HWserver,RCOS-Grading-Server/HWserver,Submitty/Submitty,Submitty/Submitty,RCOS-Grading-Server/HWserver,Submitty/Submitty,RCOS-Grading-Server/HWserver