Update FIX for Filezilla Server (replace is_int by is_numeric)