Rename pi.txt to pi.c