Fix lib64 check_procs.sh call for 32 bit systems