CORE: use WELL512 for synthutils