Fix /etc/default/jenkins