configuration option called --enable-global-partition. The old option is still available, but not printed with --help. Also added the autotest script basictest.sh to make it easier to write machine tests.