modify format of URLs in robots.txt