mibuild/xilinx_ise: move overwrite option to default options