x-symbol font problem (bug) with the latest cvs