Better handling of prereq check.
proc can be null if .execute() fails.