fix #5286, give an error for Void/None as a ccall argument type