fix wrong filename for hashable.js