Set PHP version requirement back to >= 5.3.2. Fixes #120