fix bookmark manager crashes when vagrant provider detection does not detect a valid provider