update dependencies for rodin 2.8