Merge git://repo.or.cz/portableproplib