Disable speed optimization for ppl formulae.

* PPL's configure script will try to detect system architecture using
  `uname -m` and pass corresponding "-march" flags. However this is
  broken on Snow Leopard as it may be running a 32-bit kernel while
  using 64-bit userland. Disable this optimization to solve this issue.

Closes #183.
Closes #186.