Merge "ast_coredumper: allow setting asterisk binary explicitly"