Change in jenkins[master]: pthreading: move from fc24 to fc25 on master