minor tweaks to get vagrant to almost run on slow linux hardware