Changed plasm.js extension in pasm-js