fix OTA server broken on checking stable release

This patch should fix #1339.