WYCS: trying to get wyc to verify files again.