HomeIsabelle/Phabricator

Use the autoconf endian macro rather than trying to work out the endianness.