Since this file is required by jack.sh, better make it part of the project.