Amended Travis-CI config