Buena tarde, he genarado un modelo en ifc bulder pero no encuentro la opcion de exportar como ifc4, por favor me podrian ayudar, en donde beberia estar el boton de exportar esta uno que dice compartir.