Add patch to rename robots.txt