Rename libc to libc.py