Move to latest versions of novoalign and novosort: V3