Bug fix: Always determine PLATFORM in configure.ac, instead of only doing it when GMP is around.