Fix setup under Python 3