Do not try to detect the library path in index.php

Packagers will use a custom index.php.