fix up robots.txt for production