Make sure tck-core gets packaged