fixed dsl name in binary