Rename withfunctions to withfunctions.py