Use json 1.5.4 not 1.5.1

- 1.5.4 is availble everywhere already, use the newer version