More work on proxies; fix building boost_numpy for python3