next small bugfix for cmssw compiling (scramv1 b)