jenkins.sh: Use CREATE EXTENSION