Add mine.js library.