disable ssh host checking for mapserver.org [build_pdf]