fixed monthname so it links and runs; added testcase for --wildTagAllFns problem with floats
fixed monthname so it links and runs;
added testcase for --wildTagAllFns problem with floats

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c