fix travis; no requirement file here