Splitting off the 2.5.1 pre-release; incrementing master to 2.5.2
Fixed broken build in manifest