Add posix_memalign(), fix minor bug in nmalloc.