Attempt to fix Travis configuration