const
fix #3512: always check version for correct format