Small improvements to vagrant provisioner
Move platform-specific build code into Makefile