Use the correct extension for the ast