Try gcc 4.1 again on the jenkins build