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