t4012: use 'printf' instead of 'dd' to generate a binary file