Add compilation for Python 3 (which is just the identity)