php is libphp5 in debian as well