Fix devel files