export now runs as fast as possible, fixes #3