Adding ports ; adding nginx-devel options