Attempting to fix Travis-CI configuration