remove travis, since it isn't working