war: if /repo exists, use it instead of /tmp