Makefile.linux: set default to sdk 2.5