Given that these commands are part of a separate project, I think we should go for the safe way of writing them