Simplify (and correct) initialization of pthread fallback solution