set PLATFORM to the operating system (linux, macosx, alpha, ...) and