- Fixed compilation on non-Windows systems by removing dependency on src/Linux/platform.h
Merge branch 'maint_1.8'