Compilation now succeeds on Mac, though post-compilation step fails.