[ticket/7] Remove unneeded ext.php

Fixes #7