Update platform.sh

Some Linux versions don't have a /etc/*release file, I believe this is compatible with the rest as well.
Merge pull request #1 from jewnix/patch-1

Update platform.sh