Fix the test on linux by setting the triple and the align format