mali: fix broken file format

Change-Id: I828edacfac3f5f38b63a0110d3cc26dfc1a41f68