fix #2453 (os x build error)