Generate debug symbols on OS X

The OS X builds are not producing debug information, so atos cannot be used to get file and line numbers out of stack traces.

The problem is that we're not generating the debug information at compile time, rather than that we're stripping the information out during the push phase.