Kludge around wget's default dot output and Vagrant 1.6.1 logging