[PATCH] binflt_elf: remove more casts