use different filename for main.ace to work around xilinx bug