fixing misnamed travis-ci file