Minor tweak to ctools-export.sh