minor change for Moses compilation