[config, tools] fix issue detected in http://www.forallsecure.com/bug-reports