pycheck: check for existence of FILE