[real] add a basic '__import__' function
[real] identify the problem and add a make rule
[real] elaborate make rule
[hax] disable more things
[hax] more hax