Set default GCCs
make it dirty
Fix kernel paths