[JRO] Linux customizations for vagrant