ELF loader : small bug fix