make build Ubuntu 12.04 compatible, update manpages