Oops, a minor issue with packaging on Linux.