Avoid conflicts with dbg_printf
Fix wint_t issue

The header file that was being fetched form the dev machine
has been removed. There might be other libraries being
fetched from the host machine. Review.