chiark / gitweb /
don't fail too bad, if /dev/null does not exist