I always get such an Error when using gpstk but navigation files are being opened when using PRSolve class in gpstk.