Filesystem path for extensions should be configurable. #6
Description
Currently the extension is created in the "extensions" directory relative to the process cwd. It would be better if this were configurable; and even if not, a better default would be to put the extension in /tmp or /var/tmp rather than the cwd.