fix ubuntu/debian package names