Default Linux hosts in vagrant