`Formula["skalibs"].opt_prefix`