remove travis_timeout, use tlimit instead