switch to is4s novatel repo