Reverted travis-ci to point to konteck