Updated synthesis package