merge  37df827a016617758db0096f4b4a664c02665763
fix INSTALL document