do not overload tmp{1,2}.o, use different filenames every time