[packaging] A slightly saner way of handling that source file name. Contributes to JB#981