ugly hack added: on Python 3.3+, there is a PermissionError