fix warning: nonstandard extension used