python3: fix VER