Fix build script to work with the current HEAD of Mantle.

Signed-off-by: Goffredo Marocchi <Goffredo.Marocchi@Gamesys.co.uk>