Fixes `__main__`
Merge branch 'optionable-php-platform'