setup.py: bumped to version 5.3.1