thicker head gasket is fine