This file is also needed by the conversion script.