Update exts.cc

Somehow some extensions was lost.