Installing PHP from source on different Linux distributions