Use newer 1.9.3