fix #3938, remove lazy typedef