Use numpy 1.8.0 with python 3.2