cache/stable: links for ppxml2db