Fixes issue caused by multiple CPUs in Vagrantfile template