vagrant: use 32-bit os for compatibility