run_gjslint.sh: only src/core was included. now the whole src