3 ms·

This is the case in point. You can't BSD license GPLed code without permission of the original copyright holder.