fix-muldefs
build-with-debian-antlr-instead-embedded-one
remove-plot3d-nr-cpp-660260
disable-plstrl-and-plP_mmpcx
manpage-fixes
