[BUG #8167] lint finds unknown global symbols again