bugfix php versions