fixed compilation issues triggered by gcc 4.7