we should uncomment this, the file is needed for 3rd party tools like travis.