commit from Makefile 20131210.1816