Unable to install cyanogenmod 12.1

Hi!

I just aquired a Samsung Galaxy S4 Mini GT-9195 this week and got stuck at installing CyanogenMod 12.1.
TWRP 2.8.7.0 samsunggalaxys4mini64bit is up and running.
Next i tried to install the official builds serranoltexx (first stable, then nightly) and i got this error message:

This package is for device: serranolte,serranoltebmc,serranoltektt,serranoltex x; this device is serranoveltexx.
E: Error flashing zip 'cm-12.1-*.zip'

I'm not quite sure what is going on right now. Did the devs just forget to add this deviceName to their updater-script, or is there a reason for this?

assert(getprop("ro.product.device") == "serranolte" || getprop("ro.build.product") == "serranolte" || getprop("ro.product.device") == "serranoltebmc" || getprop("ro.build.product") == "serranoltebmc" || getprop("ro.product.device") == "serranoltektt" || getprop("ro.build.product") == "serranoltektt" || getprop("ro.product.device") == "serranoltexx" || getprop("ro.build.product") == "serranoltexx" || abort("This package is for device: serranolte,serranoltebmc,serranoltektt,serranoltex x; this device is " + getprop("ro.product.device") + "."););

If there's no chance or it's at least veary unlikle the smartphone gets damaged i'll just try to add this rule manually.

Any help appreciated
Nuke