rm src/*.holsig src/*.thms
