Fix with FilePRG