add: extra options for vagrant