Unused file
Fixes #254