release 0.5.7 with Javascript version r571, #3