server now has ELFMAGIC=4