Files used for vagrant