fixing deployment of dev.robots.txt