Aim to fix 32bit target debugging on 32bit host