Use paulproteus fork for now