attempt to fix Travis Ci builds