disable-make config-types fix-warnings use-txr-allocator add-mp-set-intptr export-mp-eq add-mp-hash add-mpi-toradix-with-case fix-mult-bug mpi-set-mpi-word mpi-set-double-intptr fix-bad-shifts bit-search-optimizations shrink-mpi-int faster-square-root mpi-to-double fix-ctype-warnings