Different php versions

Fixes #8, fixes #11