fixing schoolboy error - wrong filename for travis config