Forgot to do the synthesis script