felixwellen/synthetic-zariski not found