License: GNU GPL.