rename files (fixes #11)