waf: append .exe to target names