Fix #304: add `export` command to concert script