bump rodin2 version to 2.4.8