Makefile: use awk/sed to get the cola version