added export to vagrant box section; renamed definition