remove unused file thus fixes #21