chiark / gitweb /
main: use a shorter default $PATH if /usr is merged