ELF.scan_gadgets(): add optional parameter "pos"