Remove bigarray from runtime.js