make navigation work on linux (always initialize your local variables!!!)