So, ich würde sagen: Problem gelöst. Ich habe einfach die myprovider160.dpk und .dproj gelöscht und händisch neu erstellt. Den originalen Quelltext aus der .dpk habe ich sogar 1:1 wieder übernommen, es lag also nicht an irgendwelchen Compilerschaltern wie ich vermutet hatte. Was auch immer das war, mit einem selbstgebauten
Package kompiliert das problemlos für 64 Bit.
Schon irgendwie seltsam, dass bei einer 500-Euro-Software so viel Trickserei abseits der Installationsanleitung vonnöten ist