Use pushserve as default pushstate http server.