workaround for a bug in hxcpp