.setuprc for 64-bit default integers
added runs/check.sh