Add ports configuration for Ubuntu 12.04