travis: use 32 cores