[PATCH 1/1] configure.py: Drop explicit import of int builtin

I can't reproduce the error that made me add this.

Reported-by: Kim Gräsman <kim.grasman@gmail.com>
Signed-off-by: Jan Vesely <jan.vesely@rutgers.edu>

Looks fine to me.

Tested with both python2/3 and verified that the Makefiles were the
same (minus the ordering of line 8024, which has the same SOURCES
files listed in a different order).

--Aaron