JSON support: use filename as ID
Closes #7