Fix portfile generation