Actually, I just realised that without this it simply isn't going to work when using push.js from javascript.