Changing typedef real to typedef real_t to fix problems with including
boost library