Another fix for that stupid workspace file