Trying to fix Travis configuration