sekret's fixes, added Maintainer tags, made libz3.so a synmlink for python.