Make construction of extensions work