Build files for Jenkins