correcting the .gimodules accordingly