#11: use cpu cores as many as possible on travis