Fixed annoying jumping F5 make shortcut.