Rename RandomFrac to RandomFrac.py