fix warnings and increase Rodin version