fixes latest broken build

mix server already converts to integer