I found the solution:
The hxcpp flag for this target is wrong: It’s written HXCPP_M64, but it’s supposed to be HXCPP_X86_64