Periods are allowed in Make variable names, which let us simplify a bit the Makefile. Based on a proposition by Antoine LECA Change-Id: I759d7dc7721905a4775e8ab28e0371e48a443f25