Cannont convert 'Serial_*' to 'HardwareSerial_*' in assignment

I am writing a programm , where Arduino Zero has to act as LIN master.
I found couple of libraries.when I tried to use the same libraries. I saw that there is a problem with converting serial to hardware serial.
i have short down the error and try to execute the code below.

You say “zero” but the log says “mkrwan1300” ?
I believe that on th MKR SERIES, “serial” is the usb Serial emulation...