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