Minor modifications to the travis build config