(install
 (package binsec)
 (section bin)
 (files make_coredump.sh archive_sysroot.sh))
