Cleaned up the vagrant_launch script