Mark BROKEN
WITH_SCOTCH selected but no installation of Scotch could be found
Reported by: pkg-fallout MFH: 2020Q3