Update provisioning to use precise64 and gcc 4.7
Fix unintended reference causing segfault under gcc 4.7 optimizations. Fixes #72.