Remove a needless file

It is needed for Hoe.