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