Fix shoes-dsl not installing due to missing file