Clean up cakeml dependencies (for now ..)