Rename use-platform.sh into use-platform. Plus various small fixes.