Minor fix for deployment

Now compilable on any machine (I hope)