Fix builtin_pox check