[boost] [odeint ] Can fix for ticket #12034 be merged into master branch?