SD card has different partition naming scheme on some devices

I just tried to run make-live-device.sh (syslinux variant) on an SD card plugged into the card reader of an Fujitsu Siemens Amilo M7400, epic fail: because, the SD card shows up as /dev/mmcblk0 but the partitions are named /dev/mmcblk0p1 , /dev/mmcblk0p2 and so on - note the extra 'p' in the names, which thoroughly confuses the script.

Perhaps there could be an interactive mode that allows editing device/partition names, sizes, pretty much anything and everything, with defaults filled in as examples but that you can tweak if it turns out to be different. This can be done in 'bash' (and possibly other shells, I haven't checked yet) with:

read -e -p "this is the prompt" -i "this is the default text that can be edited" THISVARIABLEFILLEDWITHEDITEDINPUT

I think I could have done it by hand, but then it turned out that the hard disk is dying so the .iso image was corrupt and cpio segfaulted, in any case a less 'automatic' mode might be useful.