Jenkins release builder was checking makefile into wrong branch. Reverting to last known good.