Fixes #585. Remember to delete your openjk_sp.cfg, otherwise this change will not take effect!