Remove dead file (was only used by the C backend)