Restore Makefile which was inadvertantly changed.
Authored by: dwarren 2019-12-11
Parent: [r9732]
Child: [r9734]
