sedit  's/usr\/man/usr\/share\/man/'  Makefile  &&
make_single                                     &&
make  CC="gcc -I. $CFLAGS -D__u32=uint32_t"     &&
make_normal
