Trying to fix Travis-CI