Fix manifest and setup.py for 1.2.