Fix the Mono release build too.