fixes for Mac OSX 10.10 Yosemite when using mp-gcc-4X