wsmp-setup.sh

# setup for wsmp on Linux
#
# do this once, before a run.
#
export MALLOC_MMAP_MAX_=0
export MALLOC_TRIM_THRESHOLD_=-1