use more reasonable version number