clean up functions in libc, which are not available eg in rump