added linux mint download, add bin extension to linux executables