ExternalProject: Minor cleanup to use more convenient commands There is no effective functional change with this commit. It is mostly just to simplify readability.