correct example1-spir32 test binary filename