remove obsolete typedef (fix #420)