fix name in debian control file