This is no longer needed with python 3.4