clean up some undefined symbols