Don't build the ksplice core twice.