update version number, port, again!