Fix compile error with GMM++-5.2, cf. #3

5 jobs for gmm5.2-compat in 7 minutes and 19 seconds (queued for 1 second)