fix Travis-CI config... now?