Actually add the js file for #1015