Attempt to fix travis configuration