pour gcc 4.7