5732 nightly.sh should use check-paths.out to be useful for .gitignore