Issue #717:: Fix finding libpython.so on Ubuntu 13.04.