Update README_NIGHTLY.txt.in