rename to more terse filenames
fix Vagrantfile