Remove unused file

GitHub: fix #19

Reported by Ladislav Slezák. Thanks!!!