Refine the Travis-CI configuration, again