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