use GCC 4.9, which actually supports C11