License under GNU GPL.