Update extensions.c

TO make it identical with master