Add in proper extension for vagrant box