Modifying makeconfigs.py