renamed session in INSTALL

Ignore-this: 9059430757bc62a0fc07d6637455dcda

darcs-hash:20140313030914-c21fe-fae615048a6ad17e67d0786581d92dc4a9021eef