it seems clear now that our patches also need to be under version control