presumably this makefile should actually be in extras (?)

Change-Id: Ie38c7f5662c5577f5de11600645049757031a697