update distrib according to PR