CRA-745 Make CRAVA compile under g++ 4.8.2