Really fix the jenkins init script (at least)