fixing up travisci configurations