Then again, even with the GPL infringement, as long as there is no distribution of the binary, they're not forced to release the modifications.