Preceding commits have eradicated all warnings found by the 'make check' target being added here. Call from jenkins.sh now that it will no longer fail. Change-Id: I4e1a15b7a7ed50637b1c020dcd962f42d3ced08f