Pin: use strtol to parse pindef strings in a simpler and more efficient fashion