Fix build with mrpt 1.2.x