Use getint for ConfigParser instead of int()