some modifications for Jenkins