Trying to boost Travis-CI