Tweak to for Makefile to work with Jenkins.
(cherry picked from commit 4a9f7661e583382e68e0ab3eb6581042ef069b19)