Misc fixes

disabling coverage cuts down the duration to 11min on jenkins