Fixed PLATFORM check in configure.ac