push gasfrac.js with HTML loader 4