Small fixes to support a Debian/GNU Linux distro. Hopefully Ubuntu too.
Renamed the PLATFORM_LINUX_DESKTOP into PLATFORM_DESKTOP_LINUX.
Merge pull request #5 from debiatan/support_linux_desktop

Small fixes to support the Debian/GNU Linux distro. Hopefully Ubuntu too.