Make File generation works on jenkins too