Major bug fix so that the users' privileges enumeration now works properly also on MySQL < 5.0 (fix a traceback)