This file is necessary for the test suite.