@gribozavr: Did you actually run into the issue yourself? Do you still have the exact error message that occurs? That (and Google) might help us (and others) in the future.

It's probably need it for the others as well, my guess is that this only fails on certain systems or with certain OS packages installed.

The commit (by myself) that introduced it is 2fec9f7813cd859a8b16b442684ec61156bbcfc1, but that doesn't give much information as to why it's there exactly.

@gribozavr: Please add that line to the other git easyconfigs as well, to keep them consistent.

Then this is ready to merge in...