add a dummy test in case of 32 bits arch to have same output file