loading the PHP-library