fix #76: use builtin() syntax