More debugging for jenkins