You might also try using the IFCE command, which will allow you to export a variety of IFC file formats including *.IFC, *.ifcXML, *.ifcZIP, and *.BIX. There are a number of standalone and open source packages out there that can convert IFC to other file formats.