Changes for building in Linux (made in Ubuntu 12.04)
Changed ifdefs in core/random to build with GCC 4.6, as suggested by Geoffrey