Split the results to two files, change default options to produce a small executable