I agree but most PS1 games were compiled using GCC. The developers probably got used to using GPLed tools and forgot something like this would change the licens

I agree but most PS1 games were compiled using GCC. The developers probably got used to using GPLed tools and forgot something like this would change the license of their software (even if it wasn't actively used).