Use gcc keyword __extension__ to get rid of the compiler warning about casting a pointer-to-object to a pointer-to-function, fixes #9