EXTRA_DIST files need to be distributed, no matter if the systemd option is configured or not. Change-Id: I4a5fc5778bc527aeb0602a7e57d9d2acb6988caa
Change-Id: I3a87d5ad4cb43efdcfc25828144f825f4d3b1594