port-depcheck.sh: add an environment variable that can be set to skip the `nm` symbol check