take version number from defs.py, so now when we upgrade it we have to upgrade in configure.ac AND defs.py (for win users)