Makefile.osx: set default sdk to 2.5, look for precompiled binaries