Adds missing library to generated idxfile.php