changing URI for publication of kernel