Deleted debug code in retarget.c