Version 0.10.1.3 - hopefully cleaned up building problem for different platforms