Fixed bug in stracesecmp left from a previous patch.
Also, a minor issue resolved in proc.h.