the cean prod distribution uses stripped beam files (without debug info) so i guess i only have to include runtime_tools into base cean archive for the devel distribution. right ?