Fixing Travis-CI config