math/why3-spark: Try to fix build on F10
CC was defined twice in the makefile; once by the ${CC} variable and later redefined to "gcc". FreeBSD 10 doesn't like that.