compatibility with (at least) python 3.4