nevermind, covered by https://github.com/hpcugent/easybuild-framework/pull/529