( cd usr/bin ; rm -rf gnatchp ) ( cd usr/bin ; ln -sf gnatf gnatchp ) ( cd usr/bin ; rm -rf gnatk8 ) ( cd usr/bin ; ln -sf gnatf gnatk8 )