The 'jackaudio' attribute is called 'jack2'.
Update post-process hook for Agda.