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