* Missing stuff for the generateDefBundle shell script to work...