missing include of arg.hpp in posmin and posmax