Bug fix: Jenkins may return unquoted URLs, quote them before using them.