pass '--tcl' command line options through to fpgamake