aliases for vagrant files