Corrected error comment
Merge branch 'pre-master' of github.com:loerum/mipp into pre-master
Merge branch 'pre-master' of github.com:loerum/mipp into pre-master
Merge branch 'pre-master' of github.com:loerum/mipp into pre-master
Better check for correct platform
Merge branch 'pre-master' of github.com:loerum/mipp into pre-master