This separates more cleanly the goal of each part. At the same
time the prefix path file can be kept in the sources rather than
being in /tmp that could be altered during a run.