To avoid build tools to making assumption about what the new odoc support-files compile command writes to the destination directory.