Shorter version of the awk oneliner for removing duplicates