fix various bootstrap and CI issues + more vagrant boxes