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

Signed-off-by: Goffredo Marocchi <Goffredo.Marocchi@Gamesys.co.uk>
Merge pull request #3 from Panajev/master

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