Rename nim.tx to nim.txt