Use a different print servlet. See #221.