Put some instruction files in the binary directory.