Recompiled (though I don't know why a compiled file is in git).