OSX packaging: update to GCC-4.8 and OS X 10.10