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