minor update for windows vagrant users