It seems one needs to add something along the following lines to make the port compile.