WIP: add -O3 to setup.py