Automatic Linux builds using Jenkins