Rename printf to printf.c