Update seahaven.c for the new cards interface.