It's already defined in `easybuild/tools/toolchain/toolchain.py`, but not used. Will fix.