Lightweight file based url shortener in PHP