for the record, make test_travis is working fine locally...