version 1.0.0.1 of easybuild-easyconfigs: bugfix release for v1.0.0