Fix incompatibility with Travis.