[petsc-dev] I don't like the location of cmakeboot.py cmakegen.py