add explicit namespace resolution for Rubedo