updated with new jnxlibc api