Trying to fix Travis-CI script #4