Minor fixes on jenkins recipe