export takes a file