Apparently, this is now necessary when compiling in another directory than the top-level
Attach a file by drag & drop or click to upload
Lorenz Huedepohl authored