fix #3087: GCC pro was not recognized