Defense agency pulls OpenBSD funding