Use a temporary file to test round-tripping model through JSON