Support GHC 7.6.* on Ubuntu 14.04 LTS
Correct use of awk for tab-separated tags