Fix a small issue compiling sbin/pefs