Does navcoder work on 64bit