cross-check/dsl not found