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