Snap4Arduino: fix get-orig-source