This now works fine in Vagrant 1.4.3, remove the workaround