eddie pushed to project branch master at eddie / bash

eddie
2019-06-15T00:26:41Z

eddie (a1d5c45a) at 15 Jun 00:26

Update vm build script.