Source files can now be updated with newer patches by using repatch.py