Use official virtual boxes for vagrant