A file-based url shortener