Fix E32PATH to make bootstrap compile correctly, tidy up other extension option paths
# This should be equivalent to running regrtest.py from the cmdline.# It can be especially handy if you're in an interactive shell, e.g.,# from test import autotest.from test import regrtestregrtest.main()