The InstallDev section needed the same treatment as the Install one. Signed-off-by: Rosen Penev <rosenp@gmail.com>