remove deprecated binary (minted v2.0 has an embedded cache function)