They clearly do know that random things behave differently depending on /bin/sh - because their script changes it to avoid their product behaving differently.