restore profix.php (refs #3512)