Move objfmt.txt to include/a51/