Change file name to follow the new standard

Fixes #6