mono/mono — pull request #554 by deplinenoise (2013-02-09 06:52:15+00:00)
Title: PPC build fixes

These two changes were necessary to get Mono HEAD building on PPC Debian stable (GCC 4.4).