Multiple definition of `__vector_9'

There is a simple work around.

Find this link to the leonardo variant in the 1.8.6 core file.

AppData\Local\Arduino15\packages\arduino\hardware\avr\1.8.6\variants\leonardo

Then, add to the long list of #undefines and then save the file. Your code then compiles without error.

#undef PCINT0_vect_num        
#undef PCINT0_vect