Make awk regexp more robust