Specifying the correct compilation command in header comment