21 DECEMBER 2013
========================
- change file name of shell.js : it's somehow not allowed.