The issue is the money is piped into the NK regime. The problem isn't that a North Korean did the work, but that it was done by a state-owned firm.