Change in jenkins[master]: add missing 4.1 build jobs