Removing ck-sources and bison