They may or may not be "derived works" (whatever those are), but they aren't "derivative works", which is what matters as far as copyright law is concerned.

GPL people have a tendency to forget that GPL is a copyright license, and so if someone is doing something that doesn't require copyright permission GPL is irrelevant.