Use the version of FreeBSD marked in source for creating ISO filename,
so that we get the -pX number