Fix buildapp to require some SBCL extensions, fix ASDF setup.
Fix the centos bootstrap script.