grovel: support files with multiple dots in names (v2)

(Alternative patch for #52.)