Travis: we need to use GNU awk here!