Using stable PropEr version for tests