remove deprecated files. Fixes #117