EXTRA_DIST	 = exec.sh setup.sh start.sh sysroot.mk