tinypq moved to https://github.com/mloskot/tinypq