fixing up broken jenkins checks
bump to 0.5.25