Update extension.hpp