Improve support for hxlibc