Use awk to increment revision number