Compiler specs: Improve paths specs