Properly adding GF as submodule