Fixes: #2845 user main.inc is broken