almost working bash completion

to use : source platform.rc from a shell.