rename files (see #71)