Fix 32bit build

+gofmt; sorry for changing all the files