input: Always push in setinputfile