Use better names for touched files so that scripts only run once.