Merge pull request #2765 from vobornik/master
recognize Debian kFreeBSD port by build_detect_platform script