That way we can control if we want to use devtools to run on Linux and
also cleanly separate out the two uses.

R=@jamesr