Update platform.sh

Some Linux versions don't have a /etc/*release file, I believe this is compatible with the rest as well.