closed #4761. fix a compile error