fix the generation of separate debug symbols