Update interpreter.php