Needed changes for source tarball.

If we ever add anything else to check_SCRIPTS, should that also go in EXTRA_DIST ?
If so, it'd be better to `+= $(check_SCRIPTS)` here ...