made panino.js executable