cumbersome GPL related things