CI not aware of file-name changes
See this pipeline for a commit, which tried to rename a routine, and the CI then tried to compile the old routine name:
https://gitlab.com/hepcedar/rivet/-/pipelines/280284252
Will need to think about how to catch these and try the new file name instead. Not urgent but would be good to improve.
cc @lcorpe