Removing unnecessary file. Fixes #4