Debug output tweaks in the Linux target backends