Merge pull request #327 from lorenzwalthert/drop-redundant-file

- drop unused file (#327).

Author: lorenzwalthert