Trying to fix Travis fails