cp realxpmm.0 realxpmm.h
cp x_gen0.0 x_gen0.c
cp x_gen1.0 x_gen1.c
cp x_toplev.0 x_toplev.c
