Changing GUILE-VERSION doesn't update these deriviative files.  This
patch may fix that: