wp-super-cache not caching some pages

Hello all,

I’m having trouble with wp-super-cache not caching anything in one specific case :
when I’m using such code into one page :
<?php virtual (“/cgi-bin/someprogram.cgi”); ?>
the page is not cached.

Do you know why such code is causing such trouble with wp-super-cache ? And how to bypass this problem ?

Thanks a lot for your answers !