Rename file

fix for #12