compile.py: string formatting