(install
 (section bin)
 (files coretop corebuild))
