GPL and dsitribution of source code