fix prototypes for 64-bit hosts in debugger project