PPC build fixes

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