Work around missing idfeqs.res

Temporary(?) fix of a problem so that it can compile; see comment
introduced in the code for more information.