Show defaulted version if phpversion() returns nothing, fixes #2313