Fix bug related to GCC compilation