revised the makefile-gmake-mode/makefile; added the get_num python snippet for extracting numeric values from string